bevisar endast , att a.