Classification theorem for surfaces