Hopkins%E2%80%93Levitzki theorem