LitNote-Sah-1979-Hilbert's third problem Scissors congruence-Sah79