Before revision: While this can be derived from the full classification, a simpler proof ( less than a page ) is given in
After revision: While this can be derived from the full classification, a simpler proof , taking less than a page .there is