Assume and are not parallel. Then the parallel line to through intersects in . Since is true, we have and on the other hand from claim 2 we have . So and are on the same side of and have the same distance to , which means . This is a contradiction, so the assumption could not have been true, which means and are indeed parallel
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.