完備な書き換え系による等式証明の実装