Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)