命题“垂直于同一条直接的两直接平行”表示成“如果...,那么.”的形式是________________________