川崎市で発見された定理か