Мне нужно получить структуру, которая показана на картинке: 
На данный момент у меня есть что-то вроде этого
\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}
и я не знаю, как добиться ожидаемого результата. Я пытался использовать enumerate, itemize и lists, но не могу этого сделать. Самые проблемные вещи - строки без отступов. Для меня важно добиться этого результата без использования дополнительных пакетов.