proof和main fact的区别是什么?

问题描述:

proof和main fact的区别是什么?