theorem :: XPRIMES2:5566

canceled;