GRIME (Explicit)

Prove (Explicit)