Title: Some important theorems in the introduction to higher algebra