for i, j being natural Number st i + j = 0 holds
( i = 0 & j = 0 )