Compact high-redshift galaxies are the cores of the most massive present-day spheroids | Synapse