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

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

Proof P3071 on R4512:

P3071

This result is a particular case of R4500: . $\square$