数学の問題としては「少なくとも一人は男」みたいな書き方にすべきな気がするな