Explanation of Leonard Smiley triangle-based derivation from "proof without words" series