邻补角的角平分线的夹角是直角,这个命题是