Fix proof of Corollary 4.3.3, closing #449

Closes #449.