(1+cosa)*(1+cosa)*1 +(1+sina)*1*1+(1-sina)*1*1 - 1*(1+cosa)*1 -
-(1-sina)(1+sina)*1-1*1*(1+cosa) =
= (1+cosa)²+1+sina+1-sina-1-cosa-(1²-sin²a) - 1 -cosa =
= 1+2cosa+cos²a+1+sina+1-sina-1-cosa-1+sin²a- 1 -cosa =
= 3-3+2cosa-2cosa+cos²a+sin²a =
= cos²a+sin²a =1