P
Initializing...
Congruence of series is compatible with multiplication. · Prove2Me