HPP identity

by Rick VanderLeek