>>764
その証明は間違ってる。

＞なので、Nより小さい数はA∪Bには[N/α]+［N/β］=kだけある。
A∩B＝φであることを示さなければ、これは言えない。AとBに重複する
元があったら、Nより小さい自然数はA∪Bに[N/α]+［N/β]=kより少ない
個数しか無い。

＞同時にA∩B＝φである事も証明された。
先にA∩B＝φを証明しておかなければならないから、これも間違い。