theorem :: XPRIMES2:6669

canceled;