P
Initializing...
$n = r_1 + 2r_2$ · Prove2Me