nicomachuss theorem