Idempotency conjecture. Every parasemifield which is finitely generated as a semiring is additively idempotent.
