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