I've heard that the eUTxO model and the Account model are mathematically equivalent in terms of expressiveness in various YouTube videos. I've also heard that the eUTxO model is a strict superset of the Account model (ie: the eUTxO model can do everything the Account model can do, and more). Are these ideas/facts true? I've been trying to find a high quality source for this idea/fact but haven't been able to find one.
I tried reading the paper presenting the eUTxO model but my lack of formal math training made it a bit difficult and I didn't find any mentions of Account model equivalence.
Does anyone know of high quality sources which confirm or reject out these ideas?