结论：证明公司有履行债务能力，并不意味着一定不能追加股东为执行人。是否可以追加股东为执行人，需根据具体法律情形和条件来判断。
详细分析：
股东未缴纳或未足额缴纳出资
- 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，若股东未按公司章程规定的时间和金额履行出资义务，当公司财产不足以清偿债务时，债权人可申请追加该股东为被执行人，要求其在未缴纳出资范围内对公司债务承担责任。
- 实例说明：假设某公司无法清偿债务，而股东原应出资100万元但仅出资50万元，此时债权人可以申请追加该股东为被执行人，要求其在未出资的50万元范围内承担责任。
股东抽逃出资
- 法律依据：同样依据上述规定的第十八条，若股东通过虚构债权债务关系、制作虚假财务会计报表等方式抽逃出资，导致公司无法清偿债务，债权人可申请追加该股东为被执行人，在抽逃出资范围内承担责任。
- 实例说明：若某公司股东转出已出资的80万元，导致公司无法清偿债务，债权人可以申请追加该股东为被执行人，要求其在抽逃的80万元范围内承担责任。
一人有限责任公司股东无法证明公司财产独立
- 法律依据：根据上述规定的第二十条，对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，且公司财产不足以清偿债务，债权人可申请追加该股东为被执行人，要求其对公司债务承担连带责任。
- 实例说明：若某一人有限责任公司无法清偿债务，且股东无法证明公司财产独立，债权人可以申请追加该股东为被执行人。
未依法履行出资义务即转让股权
- 法律依据：依据上述规定的第十九条，若股东在未依法履行出资义务的情况下转让股权，且公司财产不足以清偿债务，债权人可申请追加原股东和受让人为被执行人，原股东在未履行出资义务范围内承担责任，受让人承担连带责任。
- 实例说明：若某公司股东在未完成出资义务时转让股权，公司无法清偿债务，债权人可以申请追加原股东和受让人为被执行人。
公司具有履行债务能力但股东存在其他违法行为
- 分析：即使公司具有履行债务的能力，但如果股东存在滥用公司法人独立地位和股东有限责任逃避债务，严重损害债权人利益的行为，根据相关法律规定，股东仍应对公司债务承担连带责任。此时，债权人也可以申请追加股东为被执行人。
注意事项：
- 提供证据：在申请追加股东为被执行人时，债权人需提供充分的证据来支持其申请，如股东未缴纳或未足额缴纳出资的证据、股东抽逃出资的证据、一人有限责任公司股东财产混同的证据等。
- 遵循法定程序：债权人需向执行法院提出书面申请，并遵循法院规定的程序进行申请和听证。法院在审查此类申请时，会严格依照法律规定和程序进行，以确保各方合法权益得到保障。
建议：
- 若您作为债权人，发现公司财产不足以清偿债务，且股东存在上述情形之一，您可以考虑申请追加股东为被执行人。
- 在申请前，建议您充分了解相关法律规定，并收集充分的证据来支持您的申请。
- 若您在申请过程中遇到任何问题或需要进一步的法律帮助，请随时向我咨询。
综上所述，证明公司有履行债务能力并不意味着一定不能追加股东为执行人。是否可以追加股东为执行人需根据具体法律情形和条件来判断。