theorem :: XPRIMES0:1447

canceled;