证明:(已知),
( )
(等量代换).
▲ ( )
( ),
以③作为结论的命题是:如图,已知 , , 求证:
①直线EF经过点C; ②点A在直线l外;
③直线AB的长为5 cm; ④两条线段m和n相交于点P.