[math-fun] scissor congruence