theorem :: XPRIMES2:33

canceled;