Mathematics behind GCTA