'16 (Explicit)

the proof (Explicit)