数学家通常是先通过直觉来发现一个定理；这个结果对于他首先是似然的，然后他再着手去制造一个证明。