theorem :: XPRIMES2:6608

canceled;