Proof #17