theorem :: XPRIMES0:1471

canceled;