Cos25°*cos65°-sin25°*sin65° решите без таблицы

По формуле косинуса суммы, вот она
cos(x+y)≡ cos(x)*cos(y) - sin(x)*sin(y),
Данное в условии выражение сворачиваем по этой формуле:
исх. выражение = cos(25°+ 65°) = cos(90°) = 0,
То что косинус 90° равен нулю - это понятно? или вам и это нужно доказывать?