How i can do induction to demostrate that (∀list:: [a])(∀x :: a) cut x (cut x list) = 0?

Question

How i can start demonstrating that cut function is fulfilled (∀list:: [a])(∀x :: a) cut x (cut x list) = 0

cut :: Eq a => a -> [a] -> [a]
    cut = \