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