1,3,7,9の4つの数字のうちの3つを含む置換可能素数が存在しないこと、1,3,7,9から選択された2つの数字の各々が2つ以上から構成される置換可能素数が存在しないことは証明されている。