This isn't quite true if e.g. there are degenerate cases.