回答編集履歴

 

  `b==0`が`True`になるときは確かに`return a`されます。しかし、返り値は「直前に呼び出されたgcd関数」まで返って終わりです。条件が`False`だったときに値を返していないからです。

 

 

 

  直し方。