— Bevis för den satsensgiltighet