משפט 1: מאחר שמרחב האוזדורף זהה למרחב T קבוע, מרחב קבוע שהוא גם T חייב להיות האוזדורף (ומכאן T). משפט 2: מאחר שמרחב בית-כפר זהה למרחב T-קבוע, מרחב קבוע, שהוא גם T, חייב להיות Hausdorff (ומכאן T). שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.