鉄は鉄を研ぐ しかし、ダイヤモンドはダイヤモンドをカットします