PID は UFD のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• PID は UFD へ行く。
  • 1 (2019-01-27 (日) 02:48:28)

(定理) PID は UFD

仮定

• \( R \) は PID

主張

\( R \) は UFD でもある。

証明

なんかむずかしそう？？？