gång framdraga mera för att bevisa sina satser.