Att bevisa detta har dock icke lyckats: