theorem :: XPRIMES2:2698

canceled;