During AMC testing, the AoPS Wiki is in read-only mode and no edits can be made.

Corollary

A result that follows from a previously proved theorem.