Да, данное равенство верно.

16 - a^2 = 16 - a^2

Также можно представить левую часть уравнения как разность квадратов (4 - a)(4 + a):

16 - a^2 = (4 - a)(4 + a)