Connection rule of envelope functions at heterointerface