Vi ausej-båda dessa satser så sjelfklara,