εκτός από τις διευκρινίσεις, οι Κάο και Ζου δεν πρόσθεσαν τίποτα το ουσιώδες στην απόδειξη. Μπορεί να απλοποίησαν κάποια τμήματα της απόδειξης, όμως δεν κάλυψαν κανένα εννοιολογικό κενό.