theorem Th1: :: LPSPACE2:1

for m, n being positive Real st (1 / m) + (1 / n) = 1 holds
m > 1