Module AltErgoLib__Theory