Properly export Nichomachus theorem