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