theorem :: XPRIMES0:761

canceled;