for a, b being Real holds sqr <*a,b*> = <*(a ^2),(b ^2)*>