theorem :: XPRIMES0:1279

canceled;