P

Initializing...

Construction: $d_{6}/(2(1+d_{6}))\le r_{6}$ · Prove2Me