Przyjmijmy oznaczenia:

 - waga nitu

 - waga gwoździa

 - waga nitu i dwóch gwoździ

 - waga dwóch nitów i jednego gwoździa

Można więc zapisać:

Z pierwszego równania możemy