Added proof of EoM for Yang-Mills.