"When an email is marked as spam, Marketo is notified by this event by the lead's email provider, and Marketo will automatically unsubscribe the lead from your emails by seeting the Unsubscribed flag to true."
That's according to a Marketo help article. However when this process occurs, does that translate over to SalesForce? How can we prove that?