简述严格证明的含义及其与自由证明的差别。