theorem Th34: :: MATGRP_0:24

for L being non empty ZeroOneStr holds 1. (L,1) = <*<*(1. L)*>*>