Create a theorem

Claim

Proof Steps

  1. 1.