Krátký důkaz charakterizace idempotentních podreduktů polomodulů nad komutativními polokruhy. Jsou to právě Szendreiovské mody.