一般化には３つの例が必要