Talk:Smith conjecture