Various identities

by adam hansel