ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3416 on R4971:

P3416

This result is a particular case of R4970: with $a = (0, 0, \ldots, 0)^T$. $\square$