theorem :: XPRIMES2:605

canceled;