The relativistic Hopfield network: Rigorous results