Вот этого доказательства единственности не могу понять. Скажем, вывел ребенок путем логических умозаключений единственный верный ответ. Приведу грубый пример. На столе лежали 2 красных яблока и 2 синих. Сколько яблок всего? Ответ единственный. Не вижу смысла доказывать отсутствие альтернативы. А есть задачи, когда нужно, к примеру, найти наибольшее число, соответствующее заданным критериям. Тут нужно доказать, почему остальные варианты были отметены в пользу единственного.