theorem Th40: :: ACKERMAN:40

for f being BinOp of NAT holds not f majorizes dom2tuple f