Resolución teorica de polipastos, teoría de polipastos