[klodolph]

It may be easier to prove that your multiplier synthesis algorithm is correct.

[qubex]

“Anything you can do I can do meta.” - Charles Simonyi