theorem :: SURREALO:32

for x, y being Surreal st x == y holds
{x} <=_ {y}