Pythagoras thm. with area(special case for Cauchy-Binet thm)