严格证明和自由证明在以下( )证明环节上具有实质性差异。