>>696
隣り合う素数で間隔が4以上の場合なら当たり前だが成り立つ