Prove that Full + Faithful -> FullyFaithful

This is on top of #238