theorem :: ISOMICHI:29

for A being Subset of R^1
for a, b being Real st A = IRRAT (a,b) holds
Int A = {}