Your last short did work. I have seen the proof. However it seems that you have closed it far too early.