冒頭で仮定がすべて述べられていない