狐鸣陈涉孤坟坏，金尽梁王石室空出自哪一首诗？

狐鸣陈涉孤坟坏，金尽梁王石室空出自陈刚的《砀山怀古》。这句诗词出自陈刚的《砀山怀古》。
下面是这首诗的全文：
山名芒砀势穹崇，汉祖严祠翠霭中。紫气应时胜碧落，素灵何处泣秋风。狐鸣陈涉孤坟坏，金尽梁王石室空。毕竟乾坤归有道，漫夸扛鼎力英雄。