Sejam A e B subconjuntos finitos de um mesmo conjunto !$ X !$, tais que !$ n(B\backslash A) !$, !$ n(A\backslash B) !$ e !$ n(A ∩ B) !$ formam, nesta ordem, uma progressão aritmética de razão !$ r > 0 !$. Sabendo que !$ n(B\backslash A) = 4 !$ e !$ n(A ∪ B) + r = 64 !$, então, !$ n(A\backslash B) !$ é igual a
