Non-isomorphism of the two unions of lines (source code)

= Non-isomorphism of the two unions of lines
{scope}