theorem :: XPRIMES2:669

canceled;