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

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

Proof P3072 on R4513:

P3072

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