Existence and uniqueness of S -primary decomposition in S -Noetherian modules | Synapse