📚→📄
⣷⣾⣶⣶⣶⣷⣷⣶⣶⣶⣾⣶⣷⣿⣾⣿⣾⣶⣶⣶⣶⣶⣶⣶⣶⣶⣶⣶⣶⣶⣾⣶⣶⣶⣶⣾⣶⣷⣾⣶⣶⣶⣶⣶ ⡀⠛⠀⡀⠏⣸⢧⠀⠀⡇⢆⠀⣾⣤⣠⢀⠂⠑⠋⠶⠁⠚⠏⠌⠹⠓⠉⣁⠄⣀⠴⠀⠀⠡⢤⠘⠀⡆⡟⠇⡙⠄⠿⠇ ⡀⣠⠋⡿⣿⢸⡞⠀⠀⡃⢀⠄⠀⠜⣢⡑⣜⡳⣜⠛⡵⠞⢯⣜⡳⢣⣭⡳⢦⠙⠀⠠⠀⡄⠬⠀⠀⠉⣿⣸⣿⠺⠈⠦ ⠃⡎⣿⣿⣿⣭⢿⠀⠐⢊⠀⠀⠀⢁⢬⡞⡏⢧⣜⡻⣝⡮⢖⣙⡻⢏⡣⣝⠣⢀⠀⠀⠀⠀⢃⢈⠀⢸⣿⢿⣧⢠⠟⢸ ⠿⢙⣌⣿⣿⣇⣿⢀⠋⢠⠀⠀⠟⣿⣿⠷⣛⢿⣿⣿⣻⣟⣿⣿⣿⣿⢴⡺⣍⠱⠀⠀⠀⠀⠀⡏⠀⡄⣿⣿⡁⡿⣿⢸ ⣟⣿⣿⣅⣿⡧⣸⠤⣞⠀⠀⡟⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣶⢐⣠⠌⢁⡈⠀⠀⠀⠀⠀⡆⠀⢙⣤⣿⣿⣿⣾⢨ ⡯⣽⣿⡇⣞⣹⠮⣏⢠⠀⠀⣶⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣾⢡⠛⡿⠿⣿⠿⣛⢯⢎⠙⠀⠂⠄⠀⡠⢷⡞⣿⣿⡿⢸ ⣮⡿⣷⡏⣿⣛⣿⣷⠀⠀⠁⠟⣿⣿⣿⣿⣿⣿⣿⣿⣿⣾⢟⣿⣿⣿⣿⣿⣿⣿⢽⣬⡳⢮⠘⠀⠁⡈⡼⢹⡿⣿⣣⠼ ⣷⡞⣿⢧⣿⢿⣏⡰⠀⠟⣿⣿⣿⣿⣿⣿⣿⣿⣻⣯⣿⢏⣿⣿⣿⣿⣿⣿⣿⣾⣴⢿⡘⣿⢿⡀⡅⡿⣟⣮⣿⣿⡇⢨ ⠘⣦⡝⣷⣾⣼⡷⢹⡿⣿⣿⣿⣿⣿⣿⣿⣿⣿⢿⣨⣷⣿⣿⣿⣿⣿⣿⣿⣿⢹⠏⣿⢯⣿⣼⠇⡄⣜⢻⢸⣗⣿⠟⢺ ⠯⢌⡐⠌⣯⣾⡾⡇⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⢸⠰⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣾⢅⡸⠎⢯⣣⢹⡿⢢⣵⠃ ⡟⣿⢻⠩⢆⢿⠸⣎⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⡽⠁⣧⣿⣿⣿⣿⣿⣿⣿⣿⣿⣶⣠⠀⡗⢸⡟⣿⣧⣾⣫⢳⠳⣿ ⡿⣿⣿⣿⡻⡜⢷⢌⣎⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣚⡸⠅⣆⣮⣷⣿⣿⣶⣴⣠⢀⠀⠀⠀⡟⠀⢻⣳⣿⡽⢶⡰⡟⣿ ⣟⣿⣷⣿⣿⣿⠻⠩⠀⣄⣤⣧⣿⣿⣿⣿⣿⣿⣶⠇⣀⠰⢀⢠⣀⢀⠀⠀⠀⠀⠀⠀⠁⡿⢸⠸⣷⣷⣿⣼⠾⣇⣿⣿ ⣿⣏⣯⣷⣯⣿⣿⣿⢿⠻⡉⡦⣷⣿⣿⣶⣠⢀⠀⠀⠀⠀⠀⠀⠐⠠⠁⠀⠀⠀⠀⠁⡿⣾⣟⣹⣿⡏⣻⣿⢣⣿⣿⣿ ⣿⣿⣿⣿⡻⣼⣷⣶⣿⣿⣿⠿⣿⣿⣿⢰⠀⠀⠈⠀⠀⠀⠀⠀⠀⠐⠠⡀⠀⠀⠁⡿⣿⣼⡿⡿⣿⢓⣾⣑⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⡧⣿⣿⣿⣿⣷⣿⣾⢀⠀⠁⠀⠀⠀⠲⠀⠀⠀⠀⠀⠀⠀⠀⠁⡿⣿⢧⣿⣼⡿⣝⣿⢡⡿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣝⣷⣷⣟⣻⣯⣿⡵⡙⢢⠔⡀⠀⠀⠁⠘⠀⠀⠀⠀⠀⠀⡟⣿⣯⣪⣟⡶⣽⣋⢟⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⣾⣧⡟⠾⣰⠁⢟⡻⠪⠉⠄⠠⠁⡌⠸⠀⠀⠀⠀⠀⡞⣧⢟⡿⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⢀⣆⣰⠃⠀⣤⣡⠟⣿⠹⡖⠭⠴⢉⠄⠥⠸⠌⠸⡂⠠⣤⣏⣼⣷⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣼⣲⡐⠀⠆⠀⠀⡏⣿⣴⣫⢟⠿⣿⣾⣿⠿⡝⢳⠘⡀⠁⠂⠀⣌⢂⣦⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⢿⠙⡀⣤⠈⠀⠀⣉⠏⣿⣿⣿⣿⣽⠈⣿⣿⣿⣿⠻⢁⠀⠄⠀⠀⡈⠁⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣻⣮⢠⠀⠀⠀⠀⠏⣿⣿⣿⣿⣿⢷⣿⣿⣿⣿⣿⣿⢾⠈⠀⠀⠀⠉⡿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣾⣏⢀⠈⠁⠀⠀⠁⣱⢟⢠⣤⣿⢻⡧⣿⣿⣿⣿⣿⣮⡻⢀⠀⠀⠁⣷⣿⣶⣠⣡⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣾⠁⠀⠠⠘⠠⠀⠀⠸⡆⢻⡻⠺⡿⣿⣿⣿⣿⣠⠀⢌⡻⠙⣀⠀⠈⢠⡀⠃⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⡸⡄⠰⢀⠀⠀⠀⠂⣧⠛⡹⣛⠯⣵⣟⣿⣿⢲⣮⣖⣶⣠⠇⠀⢄⠈⠆⠀⡀⣟⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣻⢋⠘⠘⠐⠀⠀⡀⢣⣬⣶⢷⣿⣿⣿⣿⣸⢽⡟⠿⠇⡾⣠⠀⠀⠀⠂⢀⠀⣯⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣸⢧⠈⠀⠀⠀⡄⣷⣿⣿⣿⣿⣿⣿⣻⣭⣭⣫⢟⣠⠀⠀⠀⠀⠀⠀⠟⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⡇⢢⠀⠀⠀⠀⡀⣶⣿⣿⣿⣿⣿⣿⣿⣿⣪⠀⠀⠀⠀⠀⠀⠀⡇⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⠻⢯⠳⠈⠀⠀⠀⠀⣀⣤⣤⣤⣶⣶⢤⣀⠀⠈⠀⠀⠀⠀⠁⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⣿⢡⡼⢞⠈⠀⠀⠀⠀⠀⠂⠘⠀⠀⠀⠀⠀⠀⠀⠀⠀⠌⡿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⣼⠼⡥⣿⠵⠙⠁⠉⠖⠉⠙⢃⠀⠀⠀⠀⠀⠀⠈⠋⡺⢘⡗⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⣽⣫⣫⡶⣭⣲⣫⢟⢿⠿⡛⢛⢝⠀⠉⠐⠌⣷⡿⡹⣍⠄⡗⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿ ⣿⣿⣿⣿⣿⣿⣿⣿⢿⡿⡿⡻⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⢿⠿⢻⣿⣻⡿⢻⡿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿
#theorem #proof #paper #derived #result #consequence #follows from #statement #finding #lemma