滴答滴答下雨了，小雨唱着歌走进小河里。, 数学家通常是先通过直觉来发现一个定理；这个结果对于他首先是似然的，然后他再着手去制造一个证明。