theorem :: XPRIMES2:7906

canceled;