Oeh kan man bevisa , att antagandetaf