theorem :: XPRIMES2:6817

canceled;