De af osi anförda satsernabewisa