theorem actual_jeffrey_epstein_shows_some_rich_are_immoral
theorem actual_jeffrey_epstein_shows_some_rich_are_immoral
(logic_is_actual : LogicIsActual)
(h : A JeffreyEpsteinIsRichAndImmoral)
: A SomeRichPersonIsImmoral