theorem Th2: :: DIOPHAN1:2

for n being Nat
for r being Real st r is irrational holds
(rfs r) . n is irrational