'''<math>x_1+x_2+x_3=300:\ \ 0\leq x_i\leq 180\ \ \forall i</math>.
'''נגדיר ''' <math>U=\{x_i\geq 0\},</math> '''<math>\ A_i=\{x_i\geq 181\}\ i=1,2,3</math>. '''רוצים
''' <math>|\cap A_i|=|U|-|\cup A_i|=</math>
'''<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>.