Getting sound to play on the Raspberry Pi through HDMI-connected TV

Playing an mp3 file through the speakers of an HDMI-connected TV via terminal on the Raspberry Pi 2B running OSMC. Requires installing PyGame, which requires gcc Thanks to the ridiculously smart people who posted the following: http://raspberrypi.stackexchange.com/questions/7088/playing-audio-files-with-python https://discourse.osmc.tv/t/alsa-doesnt-work-after-last-update/10600