PROVE THAT (Explicit)

PROVE THAT (Explicit)