add Exercise \ref{exe.det.AB=0-proport}