Notice the pai and output
Prove is more difficult than programming