a theorem that is easily proved as the consequence of another theorem.​