The term 'subsidiary proposition' is a lemma, which is a term used in logic and linguistics to refer to a particular type of statement. A subsidiary proposition is a statement that is related to the main proposition, but is not essential to its truth or falsity. It is often used to provide additional information or context to the main proposition. Subsidiary propositions are typically used to explain or support the main proposition, and can be used to provide evidence for or against it.