Re z in RAT by Def10;
hence Re z is rational ; :: thesis: