なんか話題になってたので見たのだが、これすごく簡単なのでは?
http://www.densu.jp/frtokyokogyo.htm
集合 n* = {p1,p2,p3...pk}を考えると、nの約数a,bはn*の部分集合a*,b* (⊆ n*)として表現できる。
(1)f(a,b)* = (a*∪b*) - (a*∩b*) ⊆ n* より
(2) (a*∪b*) - (a*∩b*) = b* Venn diagram を書けば a* が{φ}になるのがわかるから a = 1
(3)#(a*∪b*) - #(a*∩b*) + # (a*) + #(b*) = #(a*∪b*) + (# (a*) + #(b*)- #(a*∩b*) ) = #(a*∪b*) + #(a*∪b*) = 2#(a*∪b*)