6 kyu

#### Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats

20100% of 610 of 23steffan153