for a being Real holds a #Z 1 = a