theorem SingleCycle: :: LATWAL_2:38

for L being WA-Lattice
for a being Element of L holds {a} is_cycle_of L