https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3

モッチーabcが正しいとしたとき、ここに載ってる系のどれが成立するの?