Prove that sqrt(2) is irrational

Analyze the prove that sqrt(2) is irrational.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove that sqrt(2) is irrational

Analyze the prove that sqrt(2) is irrational.