> prover[0] is so simple that any 5-years old can prove it's correct

This seems like the perfect time to misquote Groucho Marx: "This is so simple a child of 5 could prove it. Somebody bring me a child of 5!"