Added proof of AM 3.19(vii)