theorem :: XPRIMES2:2669

canceled;