№16 из ЕГЭ2022 и олимпиады. Красивое доказательство свойства ортоцентра остроугольного треугольника