Una dimostrazione per equiscomposizione, proposta dal matematico cinese Liu Hui in un libro del 263, in cui erano raccolte le soluzioni di alcuni problemi del famoso libro di matematica Jiuzhang Suanshu, ovvero I nove capitoli dell'arte matematica.