theorem :: XPRIMES2:709

canceled;