Horndeski theory and Kaluza-Klein compactificationдоклад на конференции