theorem :: XPRIMES2:6926

canceled;