я не про это - а про то что цикл должен выполняться хотя бы один раз - и если они оптимизировали согласно логике то должны были выполнить его хотя бы 1 раз - и тогда ваше доказательство принималось бы - оно было бы логично - а поскольку они ГЛЮКАНУЛИ то ваше доказательство не принимается ;-)))
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)