Second homology group of abelian group is its exterior square