next to last step in huang proof