次の区別は曖昧。 …により …から …を使って 「により」と「から」は同義だと思っていいが、「使って」は例えば証明シェマ（マクロ）を使うことに限定するとかの用法もある。ただし、「定理命題を使う」と「証明シェマを使う」の境界も実はあいまい。 A∈Γ | B…