In this paper, chaos in a voltage-mode controlled buck converter is studied. The existence of chaos is proven theoretically in this system. The proof consists of showing that the dynamics of the system is semiconjugate to that of a one-sided shift map, which implies positive entropy of the system and hence chaotic behaviour. The essential tool is the horseshoe hypotheses proposed by Kennedy and Yorke, which will be reviewed prior to the discussion of the main finding.