이는 합성으로 증명가능