a . följande propositioner: