A proof for a general form of the Serre-Swan theorem | Synapse