整除性に関する列D1∣D2∣...∣DN∣Pが作れるとき、Pを超えるコインを持っていれば必ずちょうどPが払える。
上の条件を満たさない場合の反例の作り方について。Pを割り切らないDiがある場合は自明な例が作れる。すべてのDiがPの約数である場合、Di−1∤Diとなっている部分を見つける。このとき、xDi=Pを満たすxとyDi−1>Diを満たす最小のyについて、コインi−1をy枚、コインiをx−1枚持てば、どのコインを減らしてもP未満になる。
最初、すべてがPの約数ならNOと決めつけていて、P=12で4セント2枚と6セント1枚みたいな例に気づくのに長時間かかってしまった。