Added file containing proof for "Wall series"