真命题对顶角的平分线成一条直线是真命题吗？用如果……那么……形式是真命题，如果两个角是对顶角，那么他们的平分线成一条直线