"A proof once established is better left so."