Alto_Legato 13 Mar 2023 in Public 6.43. graduate base, proof, see page 195 for theorem 6.11 hw4.8 chapter6