如图 ，已知直线AB∥CD，直线AB与EF相交于点P，那么直线EF也与直线CD相交，请在下面的推理过程中填空．
∵AB∥CD，AB.EF交于点P；
∴点P必在直线CD外．
假设直线EF和CD不相交，那么过点P就有两条直线.
AB和EF都与CD平行，这与____________公理矛盾．
∴直线EF也与直线CD相交．