Es sei R {\displaystyle {}R} ein kommutativer Ring, P {\displaystyle {}P} ein projektiver R {\displaystyle {}R} -Modul und M {\displaystyle {}M} ein weiterer R {\displaystyle {}R} -Modul. Zeige Ext n ( P , M ) = 0 {\displaystyle {}\operatorname {Ext} ^{n}(P,M)=0} für n ≥ 1 {\displaystyle {}n\geq 1} .