Proof of some congruences conjectured by Z.-W. Sun | Synapse