有無同然