Local-global principle. Conclusion of proof