good and bad news

昨天以为终于给我的一个定理找到一个不错的证明，当时脑袋短路，决定先证明定理，再证明引理──结果是写到半夜终于想睡了，引理的证明还没有开始──结果是趴着想了一会引理的证明，发现定理写错了!这一来，就是一个晚上的时间全部白费。高兴的是今天的时间又知道怎么kill了。估计还不止──不知多少天的时间！郁闷的是时差又倒回来了，到了周日的中午，我还处于半醒状态。还郁闷周末计划又泡汤了。