theorem :: XPRIMES2:5786

canceled;