for p being natural Number holds SetPrimenumber p is finite