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

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

Proof P3388 on R4931:

P3388

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