theorem :: XPRIMES2:2201

canceled;