theorem :: XPRIMES1:2607

canceled;