theorem :: XPRIMES0:1201

canceled;