Steinitz Classification Theorem