use html replace md for konig's theorem