連分数が循環しない⇔超越数
って推測は可能だが証明無しで使っても良いの？