1-Group theory; lagrange theorem proof; cyclic group theorems; abelian group in linear algebra;