Here is the proof for when my bracket is almost correct at the end #only2wrongsofar