A new version for possible submission to JFA.
Fixed the main problematic Lemma. Need to check for consistency and then submit it to JFA.
Merge branch 'V2' of https://github.com/mfinn-sell/FCEboundary

Conflicts:
	FCEBoundary.tex
This is the commit that should've happened on branch V2.