for K being non degenerated almost_left_invertible associative commutative well-unital doubleLoopStr holds (1. K) " = 1. K