theorem :: XPRIMES0:23

canceled;