把命题“同角的余角相等“改为“如果......那么......“的形式,谁会?