theorem Th65: :: SURREALR:65

for x, y being Surreal st x == y holds
- x == - y by Th10;