especially contested was savants' statement that wiles' proof should be rejected for its use of non-euclidean geometry. savant stated that because "the chain of proof is based in hyperbolic (lobachevskian) geometry", and because squaring the circle is seen as a "famous impossibility" despite being possible in hyperbolic geometry, then "if we reject a hyperbolic method of squaring the circle, we should also reject a hyperbolic proof of fermat's last theorem."