(arcsin(1/4) + arcsin(1/3)) is irrational