Continued adding to proof of sixtuple for x \mapsto x+a
Edited a typo