二、严格证明与自由证明