theorem :: XPRIMES2:6200

canceled;