Comments by SEisBAD (1)
ratio the dox to the actual proof, proof is at 0