Beviset härför ur följande.