>>905
どういう理屈で集合でないことが証明できたわけ?