theorem :: XPRIMES2:2607

canceled;