User blog comment:Boboris02/Large number combinatorics II:Trying to prove something interesting/@comment-2033667-20170206081115/@comment-30118230-20170206200121

But why are they not proofs?