ex x, y being Real st
( x is irrational & y is irrational & x ^ y is rational )