theorem :: XPRIMES2:74

canceled;