箱入り無数目の成立条件が完全に判明したから、このスレではconglomerabilityの話をするわ