# Proof in Graph Theory

I have a $2D$ undirected graph of size $n \times n$ in which each node is connected to its four neighbours (left,right,top,bottom).

If any general property is true for any nxn graph, what will be the mathematical proof for the property to hold for $(n+1) \times (n+1)$ undirected graph? All nodes are logically equivalent i.e. have some algorithm running on them.

Is induction a good choice, if so, can someone kindly give hints if the base case is $3 \times 3$.

-
The proof depends on the property. And if all have four neighbours - is the graph rolled to a torus? –  Hagen von Eitzen Apr 8 at 10:08
Thank you very much for your kind response. Graph is not rolled to a torus i.e. The edge nodes have only 2 or 3 neighbours. In fact, it is a square grid graph. –  Curious Apr 9 at 6:39
Property is any general property. is it not possible to prove it in general, without specifying any property? –  Curious Apr 9 at 6:41