theorem :: XPRIMES2:5607

canceled;