En kommentar til , med tittel , ble skrevet av Liu Hui i året 263 e.Kr. Her blir det gitt et bevis i kapittel 9.