Häraf inses att vår första grundsats är fullt riktig.