Propositionen hoS R .och