Working on the proof of theo10. Down to 1 goal but cannot seem to advance
fro here...