theorem everyone_immoral_confirms_the_claim
theorem everyone_immoral_confirms_the_claim
(everyone : EveryPersonIsImmoral)
: EveryRichPersonIsImmoral