仮定的必然