添加新标签
同时代入规则

_

rule of simultaneous substitution
Warning: Not approved!