P
Initializing...
(A.2) for the head's component $j = 0$ · Prove2Me