IBC4 Pythagoras’ Theorem