proof和main fact的区别是什么?