Codec Fun

يثبت (*) عن طريق الاستقراء على k.