\documentclass{amsart}
\usepackage[colorlinks]{hyperref}

%\theoremstyle{plain}
\theoremstyle{definition}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}

%\theoremstyle{definition}
%\newtheorem{comment}{Comment}[section]
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{counterexample}[theorem]{Counterexample}
\newtheorem{question}[theorem]{Question}
\newtheorem{note}[theorem]{Note}

\theoremstyle{remark}
\newtheorem*{notation}{Notation}
\newtheorem*{remark}{Remark}

\date{}
\title{}
\author{***}
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% abstract
\maketitle
%TeXCAD Picture [shekl1.pic]. Options:
%\grade{\on}
%\emlines{\off}
%\epic{\off}
%\beziermacro{\on}
%\reduce{\on}
%\snapping{\off}
%\quality{8.00}
%\graddiff{0.01}
%\snapasp{1}
%\zoom{4.0000}
\unitlength 1mm % = 2.85pt
\linethickness{0.4pt}
\ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility
\begin{picture}(99.78,34.26)(0,0)
\put(11.36,31.23){\line(0,1){.62}}
\put(11.36,5.24){\line(0,1){.62}}
\put(71.28,31.17){\line(0,1){.62}}
\put(71.28,5.18){\line(0,1){.62}}
\put(51.4,31.29){\line(0,1){.62}} \put(51.4,5.23){\line(0,1){.62}}
\put(31.33,31.18){\line(0,1){.62}}
\put(31.33,5.2){\line(0,1){.62}}
\put(21.26,31.18){\line(0,1){.62}}
\put(21.26,5.2){\line(0,1){.62}} \put(61.3,31.29){\line(0,1){.62}}
\put(61.3,5.23){\line(0,1){.62}}
\put(41.23,31.13){\line(0,1){.62}}
\put(41.23,5.14){\line(0,1){.62}}
\put(16.4,31.17){\line(0,1){.62}} \put(16.4,5.18){\line(0,1){.62}}
\put(76.32,31.25){\line(0,1){.62}}
\put(76.32,5.19){\line(0,1){.62}}
\put(86.51,5.19){\line(0,1){.62}}
\put(81.23,31.25){\line(0,1){.62}}
\put(81.23,5.19){\line(0,1){.62}}
\put(91.41,5.19){\line(0,1){.62}}
\put(56.44,31.17){\line(0,1){.62}}
\put(56.44,5.18){\line(0,1){.62}}
\put(36.37,31.17){\line(0,1){.62}}
\put(36.37,5.18){\line(0,1){.62}}
\put(26.29,31.17){\line(0,1){.62}}
\put(26.29,5.18){\line(0,1){.62}}
\put(66.33,31.17){\line(0,1){.62}}
\put(66.33,5.18){\line(0,1){.62}}
\put(46.27,31.17){\line(0,1){.62}}
\put(46.27,5.18){\line(0,1){.62}}
\put(21.28,34.11){\makebox(0,0)[cc]{-5}}
\put(26.49,34.11){\makebox(0,0)[cc]{-4}}
\put(31.24,34.11){\makebox(0,0)[cc]{-3}}
\put(36.37,34.18){\makebox(0,0)[cc]{-2}}
\put(41.2,34.26){\makebox(0,0)[cc]{-1}}
\put(46.18,34.26){\makebox(0,0)[cc]{0}}
\put(51.31,34.11){\makebox(0,0)[cc]{1}}
\put(56.36,34.18){\makebox(0,0)[cc]{2}}
\put(61.34,34.03){\makebox(0,0)[cc]{3}}
\put(66.4,34.11){\makebox(0,0)[cc]{4}}
\put(71.45,34.11){\makebox(0,0)[cc]{5}}
\put(76.36,34.11){\makebox(0,0)[cc]{6}}
\put(81.34,34.03){\makebox(0,0)[cc]{7}}
\put(8.49,31.13){\vector(1,0){88.62}}
\put(8.58,5.67){\vector(1,0){88.62}}
\put(91.42,3.05){\makebox(0,0)[cc]{9}}
\put(86.15,3.05){\makebox(0,0)[cc]{8}}
\put(81.24,2.98){\makebox(0,0)[cc]{7}}
\put(76.19,2.98){\makebox(0,0)[cc]{6}}
\put(71.13,2.91){\makebox(0,0)[cc]{5}}
\put(66.23,2.98){\makebox(0,0)[cc]{4}}
\put(61.25,3.05){\makebox(0,0)[cc]{3}}
\put(56.12,3.05){\makebox(0,0)[cc]{2}}
\put(51.14,2.98){\makebox(0,0)[cc]{1}}
\put(46.16,3.13){\makebox(0,0)[cc]{$\overline 0$}}
\put(41.18,3.05){\makebox(0,0)[cc]{-1}}
\put(36.17,3.62){\makebox(0,0)[cc]{-2}}
\put(31.26,3.54){\makebox(0,0)[cc]{-3}}
\put(26.28,3.47){\makebox(0,0)[cc]{-4}}
\put(21.45,3.54){\makebox(0,0)[cc]{-5}}
\put(16.32,3.47){\makebox(0,0)[cc]{-6}}
\put(11.2,3.39){\makebox(0,0)[cc]{-7}}
\put(5.78,31.22){\makebox(0,0)[cc]{$l$}}
\put(5.9,5.22){\makebox(0,0)[cc]{$\overline l$}}
\put(99.65,31.22){\makebox(0,0)[cc]{$x$}}
\put(99.78,5.72){\makebox(0,0)[cc]{$\overline x$}}
%\vector[both](21.18,31.19)(11.37,5.7)
\put(11.37,5.7){\vector(-1,-3){.07}}\put(21.18,31.19){\vector(1,3){.07}}\multiput(21.18,31.19)(-.033714635,-.087606967){291}{\line(0,-1){.087606967}}
%\end
%\vector[both](26.31,31.19)(21.25,5.7)
\put(21.25,5.7){\vector(-1,-4){.07}}\put(26.31,31.19){\vector(1,4){.07}}\multiput(26.31,31.19)(-.0336942,-.16995752){150}{\line(0,-1){.16995752}}
%\end
%\vector[both](31.36,5.55)(31.29,31.12)
\put(31.29,31.12){\vector(0,1){.07}}\put(31.36,5.55){\vector(0,-1){.07}}\put(31.36,5.55){\line(0,1){25.568}}
%\end
%\vector[both](41.17,5.7)(36.34,31.19)
\put(36.34,31.19){\vector(-1,4){.07}}\put(41.17,5.7){\vector(1,-4){.07}}\multiput(41.17,5.7)(-.03354968,.17703908){144}{\line(0,1){.17703908}}
%\end
%\vector[both](51.43,5.77)(41.17,31.27)
\put(41.17,31.27){\vector(-1,3){.07}}\put(51.43,5.77){\vector(1,-3){.07}}\multiput(51.43,5.77)(-.03373984,.083860617){304}{\line(0,1){.083860617}}
%\end
%\vector[both](61.31,5.7)(46.23,31.19)
\put(46.23,31.19){\vector(-2,3){.07}}\put(61.31,5.7){\vector(2,-3){.07}}\multiput(61.31,5.7)(-.033678717,.056905419){448}{\line(0,1){.056905419}}
%\end
%\vector[both](71.35,5.77)(51.43,31.27)
\put(51.43,31.27){\vector(-3,4){.07}}\put(71.35,5.77){\vector(3,-4){.07}}\multiput(71.35,5.77)(-.033704263,.043136426){591}{\line(0,1){.043136426}}
%\end
%\vector[both](81.23,5.7)(56.26,31.12)
\put(56.26,31.12){\vector(-1,1){.07}}\put(81.23,5.7){\vector(1,-1){.07}}\multiput(81.23,5.7)(-.0337022259,.0343040514){741}{\line(0,1){.0343040514}}
%\end
%\vector[both](91.42,5.7)(61.31,31.19)
\put(61.31,31.19){\vector(-4,3){.07}}\put(91.42,5.7){\vector(4,-3){.07}}\multiput(91.42,5.7)(-.0398172025,.0337217295){756}{\line(-1,0){.0398172025}}
%\end
\end{picture}
\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%TeXCAD Picture [shekl2.pic]. Options:
%\grade{\on}
%\emlines{\off}
%\epic{\off}
%\beziermacro{\on}
%\reduce{\on}
%\snapping{\off}
%\quality{8.00}
%\graddiff{0.01}
%\snapasp{1}
%\zoom{5.6569}
\unitlength 1mm % = 2.85pt
\linethickness{0.4pt}
\ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility
\begin{picture}(97.34,33.89)(0,0)
\put(8.92,30.86){\line(0,1){.62}} \put(8.92,4.87){\line(0,1){.62}}
\put(68.84,30.8){\line(0,1){.62}}
\put(68.84,4.81){\line(0,1){.62}}
\put(48.96,30.92){\line(0,1){.62}}
\put(48.96,4.86){\line(0,1){.62}}
\put(28.89,30.81){\line(0,1){.62}}
\put(28.89,4.83){\line(0,1){.62}}
\put(18.82,30.81){\line(0,1){.62}}
\put(18.82,4.83){\line(0,1){.62}}
\put(58.86,4.86){\line(0,1){.62}}
\put(38.79,30.76){\line(0,1){.62}}
\put(38.79,4.77){\line(0,1){.62}}
\put(13.96,30.8){\line(0,1){.62}}
\put(13.96,4.81){\line(0,1){.62}}
\put(73.88,30.88){\line(0,1){.62}}
\put(83.87,30.79){\line(0,1){.62}}
\put(73.88,4.82){\line(0,1){.62}}
\put(84.07,4.82){\line(0,1){.62}}
\put(78.79,30.88){\line(0,1){.62}}
\put(88.78,30.79){\line(0,1){.62}}
\put(78.79,4.82){\line(0,1){.62}}
\put(88.97,4.82){\line(0,1){.62}} \put(54,30.8){\line(0,1){.62}}
\put(54,4.81){\line(0,1){.62}} \put(33.93,30.8){\line(0,1){.62}}
\put(33.93,4.81){\line(0,1){.62}}
\put(23.85,30.8){\line(0,1){.62}}
\put(23.85,4.81){\line(0,1){.62}}
\put(63.89,30.8){\line(0,1){.62}}
\put(58.74,30.8){\line(0,1){.62}}
\put(63.89,4.81){\line(0,1){.62}}
\put(43.83,30.8){\line(0,1){.62}}
\put(43.83,4.81){\line(0,1){.62}}
\put(28.8,33.74){\makebox(0,0)[cc]{-4}}
\put(33.93,33.81){\makebox(0,0)[cc]{-3}}
\put(38.76,33.89){\makebox(0,0)[cc]{-2}}
\put(43.74,33.89){\makebox(0,0)[cc]{-1}}
\put(48.87,33.74){\makebox(0,0)[cc]{0}}
\put(53.92,33.81){\makebox(0,0)[cc]{1}}
\put(58.9,33.66){\makebox(0,0)[cc]{2}}
\put(63.96,33.74){\makebox(0,0)[cc]{3}}
\put(69.01,33.74){\makebox(0,0)[cc]{4}}
\put(73.92,33.74){\makebox(0,0)[cc]{5}}
\put(6.05,30.76){\vector(1,0){88.62}}
\put(6.14,5.3){\vector(1,0){88.62}}
\put(68.69,2.54){\makebox(0,0)[cc]{4}}
\put(63.79,2.61){\makebox(0,0)[cc]{3}}
\put(58.81,2.68){\makebox(0,0)[cc]{2}}
\put(53.68,2.68){\makebox(0,0)[cc]{1}}
\put(48.7,2.61){\makebox(0,0)[cc]{$\overline 0$}}
\put(43.72,2.76){\makebox(0,0)[cc]{-1}}
\put(38.74,2.99){\makebox(0,0)[cc]{-2}}
\put(33.73,3.25){\makebox(0,0)[cc]{-3}}
\put(28.82,3.17){\makebox(0,0)[cc]{-4}}
\put(3.34,30.85){\makebox(0,0)[cc]{$l$}}
\put(3.46,4.85){\makebox(0,0)[cc]{$\overline l$}}
\put(97.21,30.85){\makebox(0,0)[cc]{$x$}}
\put(97.34,5.35){\makebox(0,0)[cc]{$\overline x$}}
%\emline(54.04,30.68)(43.84,5.24)
\multiput(54.04,30.68)(-.033663366,-.083960396){303}{\line(0,-1){.083960396}}
%\end
%\emline(48.88,30.76)(46.76,5.3)
\multiput(48.88,30.76)(-.0336508,-.404127){63}{\line(0,-1){.404127}}
%\end
%\emline(47.73,5.3)(38.89,30.58)
\multiput(47.73,5.3)(-.033612167,.096121673){263}{\line(0,1){.096121673}}
%\end
%\emline(48.17,5.3)(33.94,30.76)
\multiput(48.17,5.3)(-.033720379,.060331754){422}{\line(0,1){.060331754}}
%\end
%\emline(48.52,5.3)(28.9,30.76)
\multiput(48.52,5.3)(-.03371134,.043745704){582}{\line(0,1){.043745704}}
%\end
%\emline(47.2,5.12)(43.84,30.76)
\multiput(47.2,5.12)(-.0336,.2564){100}{\line(0,1){.2564}}
%\end
%\emline(56.66,30.78)(38.8,5.24)
\multiput(56.66,30.78)(-.033715043,-.048192679){530}{\line(0,-1){.048192679}}
%\end
%\emline(57.72,30.68)(28.81,5.14)
\multiput(57.72,30.68)(-.0381341571,-.0336967279){758}{\line(-1,0){.0381341571}}
%\end
%\emline(57.28,30.67)(33.94,5.21)
\multiput(57.28,30.67)(-.0337202663,-.0367857451){692}{\line(0,-1){.0367857451}}
%\end
%\dashline{1}(63.81,30.68)(54.04,5.24)
\multiput(63.74,30.61)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(63.04,28.79)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(62.35,26.97)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(61.65,25.16)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(60.95,23.34)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(60.25,21.52)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(59.55,19.71)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(58.85,17.89)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(58.16,16.07)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(57.46,14.26)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(56.76,12.44)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(56.06,10.62)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(55.36,8.81)(-.03174,-.08259){11}{\line(0,-1){.08259}}
\multiput(54.66,6.99)(-.03174,-.08259){11}{\line(0,-1){.08259}}
%\end
%\dashline{1}(73.8,30.68)(50.67,5.24)
\multiput(73.73,30.61)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(72.44,29.19)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(71.16,27.78)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(69.87,26.37)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(68.59,24.96)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(67.3,23.54)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(66.02,22.13)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(64.73,20.72)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(63.45,19.3)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(62.17,17.89)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(60.88,16.48)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(59.6,15.06)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(58.31,13.65)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(57.03,12.24)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(55.74,10.82)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(54.46,9.41)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(53.17,8)(-.032117,-.035329){20}{\line(0,-1){.035329}}
\multiput(51.89,6.58)(-.032117,-.035329){20}{\line(0,-1){.035329}}
%\end
%\dashline{1}(68.86,30.57)(51.93,5.35)
\multiput(68.79,30.5)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(67.7,28.88)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(66.6,27.25)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(65.51,25.62)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(64.42,23.99)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(63.33,22.37)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(62.24,20.74)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(61.14,19.11)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(60.05,17.48)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(58.96,15.86)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(57.87,14.23)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(56.78,12.6)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(55.69,10.97)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(54.59,9.35)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(53.5,7.72)(-.032112,-.047869){17}{\line(0,-1){.047869}}
\multiput(52.41,6.09)(-.032112,-.047869){17}{\line(0,-1){.047869}}
%\end
%\dashline{1}(50.46,5.35)(51.3,5.98)
\multiput(50.39,5.28)(.04204,.03153){10}{\line(1,0){.04204}}
%\end
%\dashline{1}(61.5,30.68)(58.87,5.35)
\put(61.43,30.61){\line(0,-1){.974}}
\put(61.23,28.66){\line(0,-1){.974}}
\put(61.03,26.71){\line(0,-1){.974}}
\put(60.82,24.76){\line(0,-1){.974}}
\put(60.62,22.81){\line(0,-1){.974}}
\put(60.42,20.87){\line(0,-1){.974}}
\put(60.22,18.92){\line(0,-1){.974}}
\put(60.01,16.97){\line(0,-1){.974}}
\put(59.81,15.02){\line(0,-1){.974}}
\put(59.61,13.07){\line(0,-1){.974}}
\put(59.41,11.12){\line(0,-1){.974}}
\put(59.21,9.17){\line(0,-1){.974}}
\put(59,7.22){\line(0,-1){.974}}
%\end
%\dashline{1}(59.82,30.78)(68.86,5.35)
\multiput(59.75,30.71)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(60.39,28.9)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(61.04,27.08)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(61.68,25.26)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(62.33,23.45)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(62.98,21.63)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(63.62,19.81)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(64.27,17.99)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(64.91,16.18)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(65.56,14.36)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(66.2,12.54)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(66.85,10.73)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(67.5,8.91)(.03228,-.09085){10}{\line(0,-1){.09085}}
\multiput(68.14,7.09)(.03228,-.09085){10}{\line(0,-1){.09085}}
%\end
%\dashline{1}(60.45,30.57)(63.92,5.45)
\multiput(60.38,30.5)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(60.64,28.64)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(60.89,26.78)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(61.15,24.92)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(61.41,23.06)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(61.66,21.2)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(61.92,19.34)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(62.18,17.48)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(62.43,15.62)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(62.69,13.76)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(62.95,11.89)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(63.2,10.03)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(63.46,8.17)(.0321,-.2326){4}{\line(0,-1){.2326}}
\multiput(63.72,6.31)(.0321,-.2326){4}{\line(0,-1){.2326}}
%\end
\end{picture}
\end{document}