Det faktiska beviset på R3ACH