Tante Randi identity

by We Are Int.