theorem :: XPRIMES2:6658

canceled;