Source: cirosantilli/corollary

= Corollary
{wiki}

An easy to prove <theorem> that follows from a harder to prove theorem.