\documentclass[12pt]{report}

\usepackage{amssymb} 
\usepackage{latexsym}
\usepackage{amsfonts}
\usepackage{amsmath,amsthm}
\usepackage{graphicx, color}

\usepackage{polish}%%%%%jesli bedzie problem przy kompilacji, to usunac 
\input polchar

\newtheorem{Tw}{Twierdzenie}
\newtheorem{Wn}{Wniosek}
\newtheorem{Lem}{Lemat}
\newtheorem{Wl}{W@lasno@s@c}
\newtheorem*{Zad}{Zadanie}
\newtheorem*{Roz}{Rozwi@azanie}



\begin{document}

\noindent{\bf TEORIA GRAF@OW 2 (2006)-- ZADANIE 0\hfill Ja@s Kowalski}

\hrule

\bigskip

\begin{Wn}[Wniosek z Tw. Halla]\label{k-reg}
Ka@rdy $k$-regularny graf 2-dzielny ma skojarzenie doskona@le, a wi@ec i 1-faktoryzacj@e,
tzn. rozk@lad zbioru kraw@edzi na $k$ roz@l@acznych skojarze@n doskona@lych.
\end{Wn}

\begin{Zad}[0]Udowodni@c Wniosek \ref{k-reg}.
\end{Zad}

\begin{Roz}\rm Nie mam poj@ecia jak to zrobi@c...

Mo@re u@ry@c wzoru
\begin{equation}\label{pascal}
\binom nk=\binom{n-1}k+\binom{n-1}{k-1}, 
\end{equation}
kt@ory pozna@lem w liceum?

A mo@re tak:
$$\sum_{i=1}^ni=\binom{n+1}2?$$

Widz@e, @re konsultacje b@ed@a niezb@edne.


Skorzystam z nastepuj@acego rysunku:

\begin{center}
\begin{figure}[h]
  \includegraphics[width=8cm]{clusters}\\
  %%% PLik o nazwie clusters.eps musi znajdowac sie w katalogu bie��cym. 
  %%% Mo�na go wykona� np. za pomoca programu xfig ( dostepny na serwerze atos) uzywajac opcji Export Encapsulated Postscript lub z jego odpoweidnika pod WIN o nazwie jfig.
  \caption{Przyk@lad grafu}\label{graf}
\end{figure}
\end{center}

Dow@od Wniosku \ref{k-reg} wynika z Rysunku \ref{graf} ?

\end{Roz}

\end{document} 