theorem :: XPRIMES2:6556

canceled;