Dokazuje se existence kongruenčně jednoduchých polokruhů, jejichž aditivní pologrupy jsou nil a bez ireducibilních prvků. Ovšem, žádný konkrétní příklad není znám.