for a being Real holds a #Z 0 = 1