  We prove that Archimedean sharply dominating atomic lattice effect algebras
can be characterized by property called basic decomposition of elements. As an
application we prove the state smearing theorem for these effect algebras.
