Optimal Substructure Property