如图2,直线AB与CD相交于O,因为∠1+∠3=180°,∠2+∠3=180°,所以∠1=∠2,其推理依据是( )