Motivated exposition of combinatorial Nullstellensatz | Synapse