theorem :: XPRIMES0:241

canceled;