Theorem:  A ham sandwich is better than good sex.

Proof: 

1. A ham sandwich is better than Nothing.

2. Nothing is better than Good Sex.

The theorem follows by the transitivity of the "is better" relation.