theorem :: XPRIMES2:4607

canceled;