Cl A = the carrier of R^1 by BORSUK_5:28;
hence IRRAT is dense Subset of R^1 by TOPS_3:def 2; :: thesis: verum