[]
cycle-theorem
wrl