Updated proof of semisimple equality