A single module structure of proversity