Add the converse to a proof about alternating k-forms that I left out previously. Fix the definition of alternating k-forms