>>365
サンプリングでの検証だと

選び方によっては
a ∈A, b∈B, c∈Cとしてどのようにa,b,cを選んでもa+b=cにならないA,B,Cの組み合わせはあるな。
その場合もb+c=aまたはc+a=bが成立するようにa,b,cは選べるみたいだな。