theorem :: XPRIMES2:6936

canceled;