Defin kokonaisarvo lukittu