K(E9) from K(E10)