theorem :: XPRIMES2:9470

canceled;