theorem :: XPRIMES2:3566

canceled;