Peeling theorem
સામાન્ય સાપેક્ષતામાં, સોલન પ્રમેય વેલ ટેન્સરની એસિમ્પ્ટોટિક વર્તણૂકનું વર્ણન કરે છે કારણ કે કોઈ શૂન્ય અનંત તરફ જાય છે. અવકાશકાળમાં બિંદુ p થી શૂન્ય અનંત સુધી એફીન પરિમાણ સાથે નલ જીઓડેસિક હોઈએ. પછી પ્રમેય જણાવે છે કે, જેમ કે અનંત તરફ વલણ ધરાવે છેઃ વેલ ટેન્સર ક્યાં છે, અને આપણે અમૂર્ત અનુક્રમણિકા સંકેતનો ઉપયોગ કર્યો છે. વધુમાં, પેટ્રોવ વર્ગીકરણમાં, પ્રકાર N છે, પ્રકાર III છે, પ્રકાર II છે (અથવા II-II) અને પ્રકાર I છે.