theorem :: XPRIMES2:1669

canceled;