Could someone share a bit into the problem and the key portion from proof? For someone just knowing basics on proofs.