theorem :: XPRIMES2:5654

canceled;