theorem :: XPRIMES2:36

canceled;