has-3-cycle |*> #=> is-mbr(|_self>,op^3 |_self>)
has-4-cycle |*> #=> is-mbr(|_self>,op^4 |_self>)
has-5-cycle |*> #=> is-mbr(|_self>,op^5 |_self>)
has-6-cycle |*> #=> is-mbr(|_self>,op^6 |_self>)
has-7-cycle |*> #=> is-mbr(|_self>,op^7 |_self>)
has-8-cycle |*> #=> is-mbr(|_self>,op^8 |_self>)
has-9-cycle |*> #=> is-mbr(|_self>,op^9 |_self>)
has-10-cycle |*> #=> is-mbr(|_self>,op^10 |_self>)