рдЦреЛрдЬреЗ рдЧрдП рдкрд░рд┐рдгрд╛рдо
рд╕рд╣реЗрдЬреЗ рдЧрдП рд╢рдмреНрдж
"lemma" рд╢рдмреНрдж рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдкрд░рд┐рдгрд╛рдо
lemma рдХреЗ рд▓рд┐рдП рдЙрд░реНрджреВ рд╢рдмреНрдж
lemma рдХреЗ рджреЗрд╡рдирд╛рдЧрд░реА рдореЗрдВ рдЙрд░реНрджреВ рдЕрд░реНрде
рд╕рдВрдЬреНрдЮрд╛
- рдЗрд▓рдо-рдП-рд╣рд┐рдВрджрд┐рд╕ рдореЗрдВ рд╡реЛ рджрд╛рд╡рд╛ рдЬрд┐рд╕ рдкрд░ рджреВрд╕рд░реЗ рджрд╛рд╡реЗ рдХрд╛ рд╕рдмреВрдд рдореМрдХрд╝реВрдлрд╝ рд╣реЛ
- рдореБрд╕рд▓реНрд▓рд┐рдорд╣ рдХреБрддрд┐рдпрд╛
- реЫреЗрд▓реА рдорд╕рд▓рд╛ рдЬреЛ рдХрд┐рд╕реА рджреВрдУрд╕рд░реЗ рдорд╕рд▓реЗ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░реЗ
lemma ┌й█Т ╪з╪▒╪п┘И ┘Е╪╣╪з┘Ж█М
╪з╪│┘Е
- ╪╣┘Д┘Е █Б┘Ж╪п╪│█Б ┘Е█М┌║ ┘И█Б ╪п╪╣┘И█М┘░ ╪м╪│ ┘╛╪▒ ╪п┘И╪│╪▒█Т ╪п╪╣┘И█Т ┌й╪з ╪л╪и┘И╪к ┘Е┘И┘В┘И┘Б █Б┘И
- ┘Е┘П╪│┘О┘Д┘С┘Р┘Е┘О█Б ┘В┘О╪╖┘К┘О█Б
- ╪░┘К┘Д█М ┘Е┘О╪│╪ж┘Д┘О█Б ╪м┘И ┌й┘Р╪│█М ╪п┘П┘И╪│╪▒█Т ┘Е┘О╪│╪ж┘Д█Т ┌й┘И ╪л╪з╪и┘О╪к ┌й┘О╪▒█Т
рдЦреЛрдЬреЗ рдЧрдП рд╢рдмреНрдж рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд
lemma
рдЗрд▓рдо-рдП-рд╣рд┐рдВрджрд┐рд╕ рдореЗрдВ рд╡реЛ рджрд╛рд╡рд╛ рдЬрд┐рд╕ рдкрд░ рджреВрд╕рд░реЗ рджрд╛рд╡реЗ рдХрд╛ рд╕рдмреВрдд рдореМрдХрд╝реВрдлрд╝ рд╣реЛ
рд▓рдореНрдорд╛
(╪┤█М╪╖╪з┘Ж ┌й╪з) ╪п┘Д ┘Е█М┌║ ┘И╪│┘И╪│█Б ┌И╪з┘Д┘Ж╪з █М╪з (┘Б╪▒╪┤╪к█Т ┌й╪з) ┘Ж█М┌й█М ┌й█М ╪к╪▒╪║█М╪и ╪п█М┘Ж╪з
рд▓рд┐рдореНрдорд╛
рдШреБрдВрдШрд░реВрджрд╛рд░ рдмрд╛рд▓, рдХрд╛рди рдХреА рд▓реМ рд╕реЗ рдмрдврд╝реЗ рд╣реБрдП рдмрд╛рд▓ рдпрд╛ рдХреЗрд╢, рд╡реЗ рдмрд╛рд▓ рдЬреЛ рдХрдирдкрдЯреА рдХреЗ рдиреАрдЪреЗ рд▓рдЯрдХ рдЖрдпреЗ
рд▓рд┐рдореНрдореА
рдиреНрдпрд╛рдп-рдкрд░рд┐рднрд╛рд╖рд╛ рдореЗрдВ рдПрдХ рддрд░реНрдХ, рдРрд╕рд╛ рдХрд┐рд╕ рдХрд╛рд░рдг рд╣реИред
lammas
рдЕрдЧрд╕реНрдд рдХрд╛ рдкрд╣рд▓рд╛ рджрд┐рди рдЬрд┐рд╕реЗ рдкрд╣рд▓реЗ рдлрд╝рд╕рд▓ рдХрдЯрд╛рдИ рдХреЗ рдореИрд▓реЗ рдХреЗ рджрд┐рди рдХреЗ рддреМрд░ рдкрд░ рдордирд╛рдпрд╛ рдЬрд╛рддрд╛ рдерд╛ред
рд╕рдВрджрд░реНрднрдЧреНрд░рдВрде рд╕реВрдЪреА: рд░реЗрдЦрд╝реНрддрд╛ рдбрд┐рдХреНрд╢рдирд░реА рдореЗрдВ рдЙрдкрдпреЛрдЧ рдХрд┐рдпреЗ рдЧрдпреЗ рд╕реНрд░реЛрддреЛрдВ рдХреА рд╕реВрдЪреА рджреЗрдЦреЗрдВ .
рдирд╡реАрдирддрдо рдмреНрд▓реЙрдЧ
рд╕реБрдЭрд╛рд╡ рджреАрдЬрд┐рдП (lemma)
lemma
рдЪрд┐рддреНрд░ рдЕрдкрд▓реЛрдб рдХреАрдЬрд┐рдПрдЕрдзрд┐рдХ рдЬрд╛рдирд┐рдП
рдирд╛рдо
рдИ-рдореЗрд▓
рдкреНрд░рджрд░реНрд╢рд┐рдд рдирд╛рдо
рдЪрд┐рддреНрд░ рд╕рдВрд▓рдЧреНрди рдХреАрдЬрд┐рдП
рд╕реВрдЪрдирд╛рдПрдБ рдФрд░ рдЬрд╛рдирдХрд╛рд░реА рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рджрд╕реНрдпрддрд╛ рд▓реЗрдВ
Delete 44 saved words?
рдХреНрдпрд╛ рдЖрдк рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЗрди рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХреЛ рд╣рдЯрд╛ рд░рд╣реЗ рд╣реИрдВ? рдЗрдиреНрд╣реЗрдВ рдкреБрди: рдкреВрд░реНрд╡рд╡рддреН рдХрд░рдирд╛ рд╕рдВрднрд╡ рдирд╣реАрдВ рд╣реЛрдЧрд╛