It suffices to show that (A') and (B') are equivalent.
ただし，A が所望のもの（回路など），B が対象のものとする。