Template:SideTrail

Template
This template is used on a proof that has steps that don't seem to contribute to the goal of proving the theorem.

Usage
Basic usage (not recommended)

Describing why the marked step(s) don't seem necessary or helpful: