theorem :: XPRIMES2:4786

canceled;