Added PropositionsForGeneralCategories.tex,

a list of propositions valid in every category.