These are conveniently divided into three disjoint sets.
The proof conveniently splits into two cases.