Indeed, propositions are a bit vague. I've read many papers, which didn't use propositions at all. Then again there are papers, where propositions are heavily u

Indeed, propositions are a bit vague. I've read many papers, which didn't use propositions at all. Then again there are papers, where propositions are heavily used, or randomly distributed. In my own work I try to avoid it. I rather would distinguish between "main theorem" and "theorem", then between "theorem" and "proposition".