Apply hd-t.All proof sends : )