theorem :: XPRIMES2:607

canceled;