Följande sats förutsattes vara känd: