Graphs with girth 9 and without longer odd holes are 3‐colourable | Synapse