```math 3|(n^2+5) \to (\exists k \in N) \space n^2+5=3k ``` 