Representation theorem for Boolean algebras