> 陳健一がいるならまん健二もいるのかな？

うん健三も

参考：2017/06/28(水)15時33分57秒