2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/132834We prove in this paper a noncommutative version of Leray Spectral Sequence Theorem and then Leray-Serre Spectral Theorem for noncommutative Serre fibrations: for NC Serre fibration there are converging spectral sequences with $\E^2$ terms as $\E^2_{p,q} = \HP_p(A; \HP_q(B,A)) \Longrightarrow \HP_{p+q}(B)$ and $\E^2_{p,q} = \HP_p(A;\K_q(B,A)) \Longrightarrow \K_{p+q}(B)$.LaTeX2e, 10 pages, no figureQuantum AlgebraFunctional AnalysisK-Theory and HomologyOperator Algebras22D25; 46L85text