0であるか非0であるか