LaTex：选定行中没有缩进的列表

Question

我需要获得如图所示的结构： 现在，我有这样的东西

\documentclass[b5paper,9pt,leqno]{book}
\usepackage{polski}  
\usepackage[utf8]{inputenc}  
\usepackage{fancyhdr}
\usepackage{amssymb}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{geometry}
\usepackage{enumerate}
\newgeometry{tmargin=2cm, bmargin=2cm, lmargin=2.2cm, rmargin=2.2 cm}
\usepackage{titlesec}

\begin{document}
\begin{enumerate}
\small
\setcounter{enumi}{4}

\item Udowodnić, że jeśli algebra jest skończona to:
\begin{enumerate}[a)]

    \item Opisane w twierdzeniu 2 odwzorowywanie przeprowadza różne elementy na różne,
    tzn. jeśli $B\neq C$ to $T(B) \neq T(C)$.\\
    W\ s\ k\ a\ z\ ó\ w\ k\ a\ . Jeżli $B\neq C$, to istnieje atom należący do jednego elementu,
    a nie należący do drugiego.

    \item Dla każdego podzbioru S zbioru atomów istnieje element D taki, że $T(D) = S$.\\
    W\ s\ k\ a\ z\ ó\ w\ k\ a\ . Wziąć za $D$ sumę, w sensie $A_1 \cup A_2 \cup \dots \cup A_k$, wszystkich atomów $A_1, \dots, A_k$ należących do $D$.
\end{enumerate}

\item Z twierdzenia 3 wywnioskować, że każda algebra Boole'a skończona ma liczbę elementów postaci $2^n$.

\item Udowodnić, że rachunek zadań w przypadku, gdy liczba zmiennych zdaniowych jest nieskończona, traktowany jako algebra Boole'a tak jak w przykładzie 2, z paragrafu 38, jest algerbą Boole'a, w której żaden element nie ma atomu. Algebry takie nazywamy algebrami \textit{bezatomowymi}.
\end{enumerate}
\end{document}

，我不知道如何达到预期的结果。我试图使用枚举，逐项列出和列表，但我做不到。最有问题的是没有缩进的行。对我来说，重要的是，在不使用其他软件包的情况下达到这一结果。