3. It is a theorem that follows easily from a previouslyproved theorem​.