Vår tredje sats blifver alltså den :att