True theory's reason = true theory

True theory's reason = true theory

⑴ True theory A, certificate from True theory B

   theory A = true => theory A helps to certificate theory B = true

⑵ if we think theory A = true, theory A certificated from True theory α

   theory A = true <= theory α certificate theory A true