If the prime ideal P is a maximal ideal , then F is a field of hyperreal numbers ( Robinson 's hyperreals being a very special case ) .
If the maximal P is a prime ideal , then F is a field of hyperreal numbers ( Robinson 's hyperreals being a very special case ) .