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

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

Proof P3389 on R4932:

P3389

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