合成が満たされない