Let L be a unital non empty double loop structure, let p be a Polynomial of L , and let x be an element of the carrier of L . Let L be a unital non empty double loop structure and let p be a Polynomial of L . There exists an element x of the carrier of L such that x is a root of p . We now state the proposition For every unital non empty double loop structure L holds 0 .
L is roots.
Let L be a unital non empty double loop structure. One can check that 0 . L has roots. Let L be a unital non empty double loop structure and x be an element of the carrier of L . Then x is a root of 0 .