theorem :: XPRIMES2:6201

canceled;