この推論を導出する規則適用過程が分かっていれば、これを証明の中で略記法として使うことができる。