I had a few minutes. If there are no sign mistakes on my side (so don't trust me here) then this is a much simpler counter example:
\[x=e_1\otimes1 + e_2\otimes i\]
\[y=e_1\otimes1 + e_3\otimes i\]
papalex
npub1w8…9a0pl
2025-10-13 18:34:27 UTC
in reply to nevent1q…atm3
Author Public Key
npub1w8ywshe2tpjs8zdkffuzsmrugmgaujaez5z27n26k8ea34lq5dhsz9a0plSeen on
wss://relay.momostr.pinkPublished at
2025-10-13 18:34:27 UTCEvent JSON
{
"id": "b5bf7ef068b2b07108937f0a675bfb3d7ec04e8fc8811cb1c978425f88b99a46",
"pubkey": "71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f",
"created_at": 1760380467,
"kind": 1,
"tags": [
[
"e",
"1b5aba23597942f33991ced2606474d7f5b915987de495203465ae92d5bfcf96",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"ed8d6158398d18388e3287913ae75ca420bc60c3f074887fd26aa5e1bddfda58",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"proxy",
"https://mathstodon.xyz/@papalex/115368294290338289",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/papalex/statuses/115368294290338289",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/papalex/statuses/115368294290338289",
"pink.momostr"
],
[
"-"
]
],
"content": "I had a few minutes. If there are no sign mistakes on my side (so don't trust me here) then this is a much simpler counter example:\n\\[x=e_1\\otimes1 + e_2\\otimes i\\] \n\\[y=e_1\\otimes1 + e_3\\otimes i\\]",
"sig": "47fde28fc4e6cec62d7c426e41d0aa7effefb8255bc286f45eaa5025bfce8e1df2224178e93905c3cb8e0533bef75fb03a86b10b4c00e4ac214adc22a5173e2a"
}