king=自演 ⇔ 3king=非自演
という命題は真でしょうか。
またその理由も教えてください。お願いいたします。