Reimagining Graph Classification from a Prototype View with Optimal Transport: Algorithm and Theorem | Synapse