I know. I'm saying you are working within Euclidean geometry when you ask about the diagonal of a square with a side the length of 1.
I'm saying that no spatially-extended square has a side the length of 1, since actual squares are composite objects.
In discrete space (in the real world), units of length refer to spatially-extended points. When we say "That square has a side whose length is 9", that means "there are 9 units which compose its side."
So, you can't have a composite object made of 1 unit.
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot VerifiedOne more time, just to rephrase it:
"The diagonal of a square whose side has a length of 1" is a Euclidean object.
There are no Euclidean objects in non-Euclidean space.
All actually-existing space is non-Euclidean.
Therefore, there is no such diagonal