A propagation theorem for a class of microfunctions