theorem :: XPRIMES0:19

canceled;