Mathematical background