You can get close enough by testing only the known edge cases. If you need more mathematical proofs can give it but they are much harder.