\(n = 1\) のときは Petr の負けである.

\(n \gt 1\) のときは Petr は \(n-1\) 個取ればいいので Petr の勝ちである.