theorem :: XPRIMES0:13

canceled;