for a being Complex st - a = 0 holds
a = 0 ;