What is another way to summarize the outcome of this proof?
given ax | cy, ar || dy, ale | cd
a abx - acoy
prove: slope of abscope of cd
statement
reason
1. ax|dy, oxidy, ab | cd
a abd a doc
1. given
2. definition of similar triangles: corresponding
sides of similar triangles are proportional
3. multiplication property of equality
3. ax-dy - excy
oybx: cyv
v slope of @ x - skope at ab
5. slope of ab - slope of cd
4. definition of slope
5. substitution