Added framework for Pythagoras' Theorem