Mathematical proof of a harmonic elimination procedure for multilevel inverters