Formal Validation of DNA Database Using Theorem Proving Technique