No it hasn’t been proven because prove is on chain and onchain data never lies
So prove me wrong and find deterministic links from Tx0 please
Here open for all to see
https://mempool.space/tx/bcb4d9dfde37215f2ede6142c651981e22f70e549c03cd341a71dffe8b2dce57