If Ab Ac Then B C