Verified answer

правильно училка говорила про формулу

(a - b)² = a² - 2ab + b² >= 0 всегда

рассмотрим

(x - 4y)(x -  4y - 8) + 16

обозначим x - 4y = a

a(a - 8) + 16 = a² - 8a + 16 = (a - 4)² = (x - 4y - 4)²

квадрат всегда неотрицателен (больше или равен 0)