theorem :: XPRIMES2:896

canceled;