theorem :: XPRIMES2:5461

canceled;