theorem :: XPRIMES2:1607

canceled;