History
All 17 groups were used by Egyptian craftsmen, and used extensively in the Muslim world. A proof that there were only 17 possible patterns was first carried out by Evgraf Fedorov in 1891 and then derived independently by George Pólya in 1924.
Read more about this topic: Wallpaper Group