Без заголовка

Да, такой подход очень правильный! В принципе, алгебра и логика должны быть именно таковы: работать с любыми матобъектами, обозначенными любыми буквами или пиктограммами. Только в моём случае отрок прорвался давно через уровень школы и даже физматшколы, затыки на олимпиадном уровне. Он застревает на длинных преобразованиях (где выражение занимает в тетрадке полную строчку не слишком крупным почерком). Вряд ли это поддерживается даже покупной игрой, а базовый уровень идёт вполне нормально. Может, нужно будет провести его через эту игру где-нибудь летом. Чисто для вспоминания темы.