User:CaptchaSamurai/sandbox/HK-IntegrabilityOfCertainFunctions