theorem :: XPRIMES2:6580

canceled;