'''<math>|U|-(|A_1|+|A_2|+|A_3|-|A_1\cap A_2|-|A_1\cap A_3|-|A_3\cap A_2|+|A_1\cap A_2\cap A_3|)</math>.
'''<math>:|A_i|</math>
'''<math>x_1+x_2+x_3=300: x_i\geq 181, x_j\geq 0\ \ \forall j\ne i</math>
'''שקול: <math>y_1+y_2+y_3=300-181:\ y_i\geq 0\forall i</math>
'''<math>:|A_i\cap A_j|</math>
'''<math>x_1+x_2+x_3=300: x_i,x_j\geq 181, x_k\geq 0\ \ \forall k\ne i,j</math>
'''שקול: <math>y_1+y_2+y_3=300-2\cdot 181:\ y_i\geq 0\forall i</math>=> 0 אםשרויות, ובוודאי <math>|A_1\cap A_2\cap A_3|=0</math>.