Of course if you can do that, probability ~1 (i.e., proven theorem given that transistors obey stated axioms) is probably just as easy.