theorem :: XPRIMES2:5669

canceled;