Template:Algebra loop property implication