Bohdalovsky-Hopik-propozice