Theorem detail

Alias: OBVIOUS

Statement: This is straightforward

Link:

Reference(s)

  • (Citation needed)