Вот в начальных главах квантовой теории поля есть вещи типа теоремы Нётер, теоремы Вика. И они, прости господи, доказываются. Но Константин говорит, что физика, как и любая наука, не подразумевает доказательство утверждений. Так что мы ему поверим и признаем все эти вещи фикцией.