Congruence: certificate: conversion to proof