theorem :: XPRIMES2:9927

canceled;