Equivalence Forced by Cycle of Implications