theorem :: XPRIMES0:571

canceled;