Every fully T4 space is paracompact.
すべての fully T4 空間はパラコンパクトである。