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