Step by step, I work through the definition of sufficient statistic (intuitive vs formula, showing them equal) then interpreting the claim made in the factorization theorem, and then line by line, I give a proof of the discrete case in both directions.