theorem :: XPRIMES2:606

canceled;