Approach for Modal Satisfiability -- The Inverse Method Implements the Automata Approach