Corrected theorem for sixtuple basis, wrote bullet point "proof"
Added bare bones of proof of sixtuple basis for general x \mapsto x+a