简述无需证明的事实。