theorem :: XPRIMES2:5406

canceled;