ケプラーは理系なのに法則を証明しないから嫌い