真なら証明を、偽なら反例を