Dobelsky-hopik-propozice