>>807,831
このFを使うことで
F∋{km+r::s+kq-δ<#(A∩[-ｍ,m])/(2m+1)<s+kq+δ}
から
F∋{km+r::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ}
が言えれば
{km+r::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ}
=k({m::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ})
なので
{m::kq-δ<#(A∩[-ｍ,m])/(2m+1)<kq+δ}∈F
が言えて
p(A)=kq=kp(kA)（反線形性）
が示せることになる
あとちょっとだな