丙、必然推论