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 . Let L be a unital non empty double loop structure. Observe that there exists a Polynomial of L which has roots. Let L be a unital non empty double loop structure.