The initial case for n = 2 {\displaystyle {}n=2} is clear because of
We assume now that the statement is already known for some n {\displaystyle {}n} and we consider the statement for n + 1 {\displaystyle {}n+1} . This follows from