Sejam e subconjuntos finitos de um mesmo conjunto , tais que , e formam, nesta ordem, uma progressão aritmética de razão . Sabendo que e , então, é igual a