Answer:
Step-by-step explanation:
It's D.
A theorem is true by some sort of mathematical logic.
It is not a definition. Not C
It is not in the end true because of inductive reasoning (a theorem may lend itself to inductive reasoning, but it must be proved.) Not A
It certainly not assumed to be true without proof. Not B
The top left she should have added before multiplying
(p + q)⁵
(p + q)(p + q)(p + q)(p + q)(p + q)
{[p(p + q) + q(p + q)][p(p + q) + q(p + q)](p + q)}
{[p(p) + p(q) + q(p) + q(q)][p(p) + p(q) + q(p) + q(q)](p + q)}
(p² + pq + pq + q²)(p² + pq + pq + q²)(p + q)
(p² + 2pq + q²)(p² + 2pq + q²)(p + q)
{[p²(p² + 2pq + q²) + 2pq(p² + 2pq + q²) + q²(p² + 2pq + q²)](p + q)}
{[p²(p²) + p²(2pq) + p²(q²) + 2pq(p²) + 2pq(2pq) + 2pq(q²) + q²(p²) + q²(2pq) + q²(q²)](p + q)}
(p⁴ + 2p³q + p²q² + 2p³q + 4p²q² + 2pq³ + p²q² + 2pq³ + q⁴)(p + q)
(p⁴ + 2p³q + 2p³q + p²q² + 4p²q² + p²q² + 2pq³ + 2pq³ + q⁴)(p + q)
(p⁴ + 4p³q + 6p²q² + 4pq³ + q⁴)(p + q)
p⁴(p + q) + 4p³q(p + q) + 6p²q²(p + q) + 4pq³(p + q) + q⁴(p + q)
p⁴(p)+ p⁴(q) + 4p³q(p) + 4p³q(q) + 6p²q²(p) + 6p²q²(q) + 4pq³(p) + 4pq³(q) + q⁴(p) + q⁴(q)
p⁵ + p⁴q + 4p⁴q + 4p³q² + 6p³q² + 6p²q³ + 4p²q³ + 4pq⁴ + pq⁴ + q⁵
p⁵ + 5p⁴q + 10p³q² + 10p²q³ + 5pq⁴ + q⁵
