直角都相等.改成命题如果.那么.