theorem :: JGRAPH_5:10

for n being Element of NAT holds - (0. (TOP-REAL n)) = 0. (TOP-REAL n)