A lower bound on the saturation number and a strengthening for triangle-free graphs | Synapse