Product of two matrices similar to companion matrices over sufficiently large fields | Synapse