Classical system of Martin-Lof's inductive definitions is not equivalent to cyclic proof system