How to Prove that Origami is Hard