the Elements book 4 proposition 15 corollary 3