theorem :: XPRIMES2:34

canceled;