theorem :: XPRIMES2:47

canceled;