theorem :: XPRIMES0:1669

canceled;