少し数学というのを趣味的に楽しもうと思って。自分で解いていくと、命題5から既に難しい。