theorem :: XPRIMES2:6744

canceled;