Nicomachus theorem