[spec] complex factor theorem