素じゃない集合の直和ってやつが、
あるにはあるんだがな。