地铁关系的数学证明题

证明：西安地铁=广州地铁 西安地铁=广佛地铁 ∵西安14号线和广州3号线都是没有快车的机场线 又∵西安14号线和广州3号线列车均采用塞拉式车门 ∴西安14号线=广州3号线 又∵西安1号线和广佛线都是有些车有闪灯图，有些车有LCD 又∵西安1号线贯穿咸阳主城区和西安主城区（指三期开通后），广佛线贯穿佛山主城区和广州主城区 又∵西安1号线和广佛线均有一个车站可与另一条线路同台换乘 ∴西安1号线=广佛线 ∴西安地铁=广州地铁 又∵佛山2号线2期终点是西安 ∴西安地铁=佛山地铁 ∴西安地铁=广佛地铁