Любовный треугольник. (задача)⁠⁠

Сергей зарабатывает в месяц 40 тысяч рублей. А его жена Оля тратит в месяц 80 тысяч рублей.
Вопрос: догадывается ли Сергей о существовании Антона?