for d being non zero Nat
for x being Element of REAL d holds cell (x,x) = {x}