Proof from Pythagoras to Euler(HK)