File:Pythagoras Theorem Logical proof.ggb