theorem Th51: :: PREPOWER:51

for p being Rational holds 1 #Q p = 1