Thread:Brady55/@comment-24687156-20150609045755/@comment-24687156-20150609053817

Some proofs are there