Grandfather's Math - uniqueness

Grandson's Math - unicity.