On the theory of envelope functions in lattice-matched heterostructures