その三点が豚である証明は?