theorem :: XPRIMES0:827

canceled;