theorem :: XPRIMES2:41

canceled;