Пусть A1 и C1 – точки касания вписанной окружности со сторонами BC и AB соответственно, а A' и C' – точки касания вневписанной окружности треугольника, вписанной в угол B, с продолжениями сторон BC и AB соответственно. Докажите, что ортоцентр H треугольника ABC лежит на A1C1 тогда и только тогда, когда прямые A'C1 и BA перпендикулярны.