theorem :: XPRIMES2:43

canceled;