Pythagoras' Theorem 2 (KING)