Pythagoras diagonal of square