Planar graphs having no cycle of length 4, 7, or 9 are DP‐3‐colorable | Synapse