Od navedenog što koristimo samo za dokazivanje lužina?