Proving with contrapositive methode instead of contradition

Could you tell me how to write a very formal proof of the statment below with the contrapositive methode, if possible.

(I know how to do it with contradiction)



Let x be a rational number and y an irrational number, then x times y is irrational.



Sincerely,

V. Uljanov

via Physics Forums RSS Feed http://www.physicsforums.com/showthread.php?t=708243&goto=newpost