Theorem 5.3 (Nielsen-Thurston classification, see [1]})  Any diffeomorphism \(\phi \)  on \(S\)  is isotopic to a map \(\phi ^{\prime }\)  satisfying one of the following mutually exclusive conditions:
