证明:如果alb且blc,则alc。