theorem :: XPRIMES2:540

canceled;