theorem :: XPRIMES0:1171

canceled;