theorem :: XPRIMES2:35

canceled;