theorem :: EUCLID:54

0. (TOP-REAL 2) = |[0,0]|