theorem :: XPRIMES1:56

canceled;