theorem :: XPRIMES0:971

canceled;