从等效观点论证置换定理
종등효관점론증치환정리
THE VERIFICATION OF SUBSTITUTION THEOREM FROM THE VIEW OF EQUIVALENCE