triangle counting reasoning