theorem :: XPRIMES2:32

canceled;