Plane through Straight Line Perpendicular to other Plane is Perpendicular to that Plane