[] cycle-theorem wrl