You don't need belief to write a theorem. You need it in order to use/apply it - the theorem doesn't tell you where your prior comes from.