olreid-siken, four proofs