Theorem proving VS testing (with a simple example) | Heykuki News