theorem everyone_immoral_confirms_all_rich_are_immoral
theorem everyone_immoral_confirms_all_rich_are_immoral
(everyone : EveryPersonIsImmoral)
: EveryRichPersonIsImmoral