What is the contradiction statement of "line BM bisects angle ABC"?