theorem :: XPRIMES2:6160

canceled;