theorem Th56: :: BORSUK_5:57

for a, b being Real holds IRRAT (a,b) misses RAT (a,b)