‘The least a proof can prove is the provability of its result’.