Implication Details

Assumptions: discrete

Conclusions: direct

Reason: This is trivial.