Theorem detail

Alias: OBVIOUS

Statement: This is straightforward

Link:

Reference(s)

  • , None Needed, , (1). N/A