theorem Eq1441.Finite.Equation1441_implies_Equation4067 (G : Type) [Magma G] [Finite G] (h : Equation1441 G) : Equation4067 G

theorem Eq1441.Finite.Equation1443_implies_Equation3055 (G : Type) [Magma G] [Finite G] (h : Equation1443 G) : Equation3055 G

theorem Eq1441.Finite.Equation1681_implies_Equation3877 (G : Type) [Magma G] [Finite G] (h : Equation1681 G) : Equation3877 G

theorem Eq1441.Finite.Equation1701_implies_Equation1035 (G : Type) [Magma G] [Finite G] (h : Equation1701 G) : Equation1035 G