theorem :: XPRIMES1:92

canceled;