I'm going to show you a proof that is not more powerful so we can warm up our inductive juices.