Revert "prover igjen"

This reverts commit f29709fc25c6e6cdb784e519bb15a484d3e2b1bc.