theorem :: XPRIMES0:1381

canceled;