Este último puede ser expresado como [H | T].