ロスの定理（強い定理）で代数的無理数でないこと（弱い結果）が言えて、ディリクレの定理（弱い定理）で有理数であること（強い結果）が言えるのか、謎だ。