Формальное доказательство неравенства P ≠ NP на основе колмогоровской сложности и нижних оценок схемной сложности (Formal Proof of the Inequality P ≠ NP Based on Kolmogorov Complexity and Circuit Lower Bounds)