theorem :: XPRIMES0:227

canceled;