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