Squaring theorem test