Bitchagorean theorem view 1