consider two European call options with two different strike prices denoted by: K1 < K2.
Both calls are on the same non dividend paying stock and for the same expiration date, T.

Prove: At time t, (t < T),
c(K1) – c(K2) ≤ (K2 – K1)e–r(T – t)