• 即時式完全線群