theorem :: XPRIMES0:1571

canceled;