Glasser's_master_theorem loading ...