>>512

R の作用は
>>511
の証明を見れば分かるように全く使われません。