Added new proposition
Started to edit proof of sixtuple basis so it applies to general basis
Final commit of day