we know that
The difference between a rational number and n irrational number is always an irrational number
Example

Prove by contradiction
The difference between a rational number and an irrational number is a rational number
we have that

therefore
By contradiction, the original statement is true