Posplošitev Pitagorovega izreka - Pucelj, Ivan (Presek, 1979)