命题：如图，AC交BD于点O，若OA=OC，OB=OD，那么AB∥DC．
证明如下：∵OA=OC，∠AOB=∠COD，OB=OD，
∴△AOB≌△COD（SAS）．
∴∠C=∠A．
∴AB∥DC．