Crate pythagoras

Source

Functionsยง

theorem
Calculates Pythagoras. #Examples