Pyhän muodollinen todentaminen on vaikeaa