theorem jeffrey_epstein_shows_some_rich_are_immoral
theorem jeffrey_epstein_shows_some_rich_are_immoral
(h : JeffreyEpsteinIsRichAndImmoral)
: SomeRichPersonIsImmoral