theorem :: XPRIMES0:769

canceled;